Logical consequence

Results: 692



#Item
91Logical consequence / Logical syntax / Philosophical logic / Theorems / Galley proof / Logic / Proofreading / Publishing

J. Japan Statist. Soc. Vol. 31 No{19 EXAMPLE PAPER FOR THE JOURNAL OF JAPAN STATISTICAL SOCIETY Genshiro Kitagawa* and Sadanori Konishi**

Add to Reading List

Source URL: www.jss.gr.jp

Language: English - Date: 2013-03-31 22:59:01
92Model theory / Deduction / Entailment / Logical consequence / Metalogic / First-order logic / Common knowledge / Function / Axiom / Logic / Mathematics / Philosophical logic

Knowledge and Communication: A First-Order Theory Ernest Davis 1 Courant Institute, New York University, New York, NYUSA Abstract

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2005-02-14 11:23:32
93Noam Chomsky / Epistemology / Inference / Logical consequence / Reasoning / Levels of adequacy / Knowledge / Logic / Science

Journal Papers Criteria Sheet School: Title of piece: Total score:

Add to Reading List

Source URL: www.eait.uq.edu.au

Language: English - Date: 2015-03-08 19:39:56
94Non-classical logic / Conditionals / Reasoning / Default logic / Non-monotonic logic / Material conditional / Inference / Entailment / Counterfactual conditional / Logic / Propositional calculus / Logical consequence

Weak Conditional Logics of Normality James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2003-09-08 16:39:15
95Logical consequence / Marxism / Marxist theory / Philosophical logic / Entailment / Contradiction / Negation / Textual entailment / Logic / Propositional calculus / Science

Finding Contradictions in Text Marie-Catherine de Marneffe, Anna N. Rafferty and Christopher D. Manning Computer Science Department Linguistics Department Stanford University Stanford University

Add to Reading List

Source URL: www-nlp.stanford.edu

Language: English - Date: 2008-08-08 16:31:24
96Philosophical logic / Logical consequence / Metalogic / First-order logic / Word-sense disambiguation / Quantification / Entailment / Inference / Resolution / Logic / Predicate logic / Semantics

arXiv:1312.6192v4 [cs.CL] 15 FebCan recursive neural tensor networks learn logical reasoning? Samuel R. Bowman

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-02-17 20:18:31
97Entailment / Logical consequence / Metalogic / Modal logic / Epistemic modal logic / Unexpected hanging paradox / Strength of materials / Logic / Philosophical logic / Deduction

A First-Order Theory of Communicating First-Order Formulas Ernest Davis∗ Courant Institute New York University

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2004-10-07 15:48:12
98Non-classical logic / Reasoning / Logical consequence / Knowledge representation / Default logic / Non-monotonic logic / Inference / Autoepistemic logic / Entailment / Logic / Mathematical logic / Logic programming

What’s in a Default? Thoughts on the Nature and Role of Defaults in Nonmonotonic Reasoning James Delgrande School of Computing Science, Simon Fraser University,

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2012-08-16 12:27:39
99Logical consequence / Reasoning / Datalog / Rule of inference / Knowledge base / Proof theory / Logic / Propositional calculus / Inference

Confidentiality-preserving Proof Theories for Distributed Proof Systems Kazuhiro Minami Nikita Borisov

Add to Reading List

Source URL: systemsresilience.org

Language: English - Date: 2013-01-05 00:32:19
100Science / Logic / Language / Thought / Behavior / Critical thinking / Arguments / Logical consequence

CWRA+ PERFORMANCE TASK SCORING CRITERIA Writing Mechanics Writing Effectiveness

Add to Reading List

Source URL: www.vbschools.com

Language: English - Date: 2013-09-20 15:14:44
UPDATE